1. MWB
  2. Vertalen
  3. theorem prover (NL>DE)
Vertaal
Vertalingen theorem prover NL>DE
theorem prover Beweisfindungsverfahren ; Theorembeweise
Bron: Download IATE, European Union, 2017.

Voorbeeldzinnen met `theorem prover`
Voorbeeldzinnen laden....